Central Sets Theorem along filters and some combinatorial consequences

The Central Sets Theorem was introduced by H. Furstenberg and then afterwards several mathematicians have provided various versions and extensions of this theorem. All of these theorems deal with central sets, and its origin from the algebra of Stone–?ech compactification of arbitrary semigroup, say $\beta S$. It can be proved that every closed subsemigroup of $\beta S$ is generated by a filter. We will show that, under some restrictions, one can derive the Central Sets Theorem for any closed subsemigroup of $\beta S$. We will derive this theorem using the corresponding filter and its algebra. Later we will also deal with how the notions of largeness along filters are preserved under some well behaved homomorphisms and give some consequences.     

On σ-commutativity in Menger algebras of n-place functions

We present an abstract characterization of various types of Menger algebras of n-place functions allowing certain permutations of variables.     

Elementary Operators on Standard Operator Algebras

We present a new simple proof of the structural result for elementary operators on standard operator algebras. Using the idea of this short proof we can characterize surjective maps between standard operator algebras having a certain multiplicativity-like property appearing in the abstract definition of elementary operators of length one. In particular, we show that such maps are automatically additive.     

Hopf-algebraic renormalization of QED in the linear covariant gauge

In the context of massless quantum electrodynamics (QED) with a linear covariant gauge fixing, the connection between the counterterm and the Hopf-algebraic approach to renormalization is examined. The coproduct formula of Green’s functions contains two invariant charges, which give rise to different renormalization group functions. All formulas are tested by explicit computations to third loop order. The possibility of a finite electron self-energy by fixing a generalized linear covariant gauge is discussed. An analysis of subdivergences leads to the conclusion that such a gauge only exists in quenched QED.     

Homology of Centralizers

Given a group Π, we study the group homology of centralizers Π _g , g ? Π, and of their central quotients Π _g /〈 g〉. This study is motivated by the structure of the Hochschild and the cyclic homology of group algebras, and is based on Quillen's approach to the cyclic homology of algebras via algebra extensions. A method of computing the de Rham complex of a group algebra by means of a Gruenberg resolution is also developed.     

Integrating algebra and proof in high school mathematics: An exploratory study

Frequently, in the US students’ work with proofs is largely concentrated to the domain of high school geometry, thus providing students with a distorted image of what proof entails, which is at odds with the central role that proof plays in mathematics. Despite the centrality of proof in mathematics, there is a lack of studies addressing how to integrate proof into other mathematical domains. In this paper, we discuss a teaching experiment designed to integrate algebra and proof in the high school curriculum. Algebraic proof was envisioned as the vehicle that would provide high school students the opportunity to learn not only about proof in a context other than geometry, but also about aspects of algebra. Results from the experiment indicate that students meaningfully learned about aspects of both algebra and proof in that they produced algebraic proofs involving multiple variables, based on conjectures they themselves generated.     

有限格蕴涵代数的零化子

研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。     

格蕴涵代数中的扩张滤子

在格蕴涵代数中提出了扩张滤子的概念,讨论了扩张滤子与滤子,扩张滤子与素滤子,扩张滤子与滤子的根,扩张滤子与准素滤子,扩张滤子与最大滤子之间的关系.得到了扩张滤子的一些性质.最后,证明了在格H蕴涵代数中,扩张滤子与扩张滤子的根相等.     

Elementare Eigenschaften lokaler–Polynom–Schätzer: ein Streifzug durch die lineare Algebra

Zusammenfassung. Der lokale–Polynom–Sch?tzer besteht darin, an eine Sequenz von aufeinanderfolgenden Datenpunkten lokal ein Polynom anzupassen und damit zuf?llige Schwankungen in den Daten wegzugl?tten. Dieser Ansatz gewinnt in der nichtparametrischen Kurvensch?tzung st?ndig an Bedeutung. Es wird gezeigt, wie die Herleitung einiger elementarer Eigenschaften dieses Handwerkszeuges des Datenanalytikers einen Streifzug durch die lineare Algebra erforderlich macht. Eingegangen am 27.03.1998 / Angenommen am 15.06.1998     

An experiment with arithmetic precision in linear algebra computations

Several techniques for experimental determination of floating point precision in practical computations are examined, and applied to linear algebra algorithms. These techniques are simple enough to be directly applicable to existing production codes, requiring a very limited amount of software on many machines, and yet they yield interesting information on the numerical precision of a computation. Our choice of linear algebra algorithms includes a direct solver (namely the MA32 program from the Harwell Library) and several variants of preconditioned conjugate gradients (the methods DIAG, INV, MINV and POL of Reference 1). The results may be of interest as method selection criteria, and thus complement Mflop performance data available from several sources.